Cartesian closed category - PDFSEARCH.IO - Document Search Engine

Cartesian closed category
Results: 66

#	Item
11	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
12	Physics, Topology, Logic, and Computation: A Rosetta Stone John C. Baez UC Riverside Mike Stay Google, U. of Auckland Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-05-05 19:03:37 Morphism Product Cobordism Category Associative property Cartesian closed category Functor Category theory Mathematics Algebra
13	Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2012-06-26 12:58:42 Monoidal categories Algebraic topology Functors Cartesian closed category Lambda calculus Product Morphism Natural transformation Topological quantum field theory Category theory Abstract algebra Algebra
14	A constructive manifestation of the Kleene–Kreisel continuous functionals Mart´ın Escard´o and Chuangjie Xu University of Birmingham, UK Version of March 27, 2015. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-03-27 08:25:57 Sheaf theory Sheaf Topos Grothendieck topology Continuous function Coherent topology Category Cartesian closed category Topological space Topology Mathematics General topology
15	A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994 Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:31:16 Adjoint functors Functors Functional programming Lambda calculus Functor Monad Natural transformation Product Cartesian closed category Category theory Mathematics Abstract algebra
16	A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:21 Monoidal categories Lambda calculus Traced monoidal category Monoid Morphism Sheaf Associative property Fixed-point combinator Cartesian closed category Algebra Mathematics Category theory
17	Theory and Applications of Categories, Vol. 28, No. 3, 2013, pp. 66–122. DUALITY FOR DISTRIBUTIVE SPACES DIRK HOFMANN Abstract. The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-28 11:57:00 Structure Adjoint functors Sheaf Functor Filter Complete Heyting algebra Continuous function Metric space Cartesian closed category Mathematics Topology Order theory
18	Theory and Applications of Categories, Vol. 29, No. 15, 2014, pp. 406–421. TOPOLOGICAL FUNCTORS AS TOTAL CATEGORIES RICHARD GARNER Abstract. A notion of central importance in categorical topology is that of topologica Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-08-12 07:44:00 Functors Sheaf theory Adjoint functors Universal property Cartesian closed category Topos Equivalence of categories Limit Grothendieck topology Category theory Abstract algebra Mathematics
19	Theory and Applications of Categories, Vol. 27, No. 2, 2012, pp. 10–26. EXPONENTIABILITY VIA DOUBLE CATEGORIES SUSAN NIEFIELD Abstract. For a small category B and a double category D, let LaxN (B, D) denote / D and mo Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-05-02 13:48:00 Functor category Functor Adjoint functors Diagram Equivalence of categories Cartesian closed category Limit Pushout Profunctor Category theory Functors Natural transformation
20	Theory and Applications of Categories, Vol. 28, No. 2, 2013, pp. 24–65. FREE PRODUCTS OF HIGHER OPERAD ALGEBRAS MARK WEBER Abstract. One of the open problems in higher category theory is the systematic construction of Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-25 13:40:00 Mathematics Braided monoidal category Monoidal functor Cartesian closed category Multicategory Monoidal natural transformation Monoid Strong monad PRO Category theory Algebra Monoidal categories